Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
141	Deriving a Relationship from a Single Example Neil Mitchell Abstract Given an appropriate domain specific language (DSL), it is possible Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Programming language comparisons Functional languages Monad Generic programming Type class Algebraic data type
142	Julia: A Fast Dynamic Language for Technical Computing Jeff Bezanson∗ MIT Stefan Karpinski† MIT Add to Reading List Source URL: karpinski.org Language: English - Date: 2016-04-13 16:19:52 Software engineering Computer programming Computing Type theory Data types Polymorphism Object-oriented programming Subroutines Covariance and contravariance Parameter Type system Anonymous function
143	Gradual Typing for Objects Jeremy Siek1 and Walid Taha2 , 1 University of Colorado, Boulder, CO 80309, USA Add to Reading List Source URL: ecee.colorado.edu Language: English Type theory Software engineering Programming language theory Mathematical logic Type systems Data types Gradual typing Subtyping Symbol Type safety Model theory Type inference
144	Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming Programming language theory Abstract interpretation Symbolic execution Program analysis KeY Disassembler Pattern matching Forth Symbolic Concolic testing
145	IN DULCI JUBILO, INC. Latin: “In Sweet Joy” P.O. BoxBerkeley, CaliforniaPhone: Add to Reading List Source URL: www.indulcijubilo.org Language: English Software engineering Computing Programming language theory Management Project management United States Postal Service Ada
146	c Cambridge University Press 2009 JFP: page 1 of 24. 1 doi:S0956796809990219 Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-10-12 08:32:22 Logic in computer science Programming language semantics Models of computation Computability theory Logic programming Substitution Operational semantics Denotational semantics Lambda calculus Structure
147	Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2010-12-28 20:49:23 Software engineering Type theory Programming language theory Computing Parametric polymorphism Polymorphism Type system Covariance and contravariance HindleyMilner type system Type inference Subtyping System F
148	Recent Developments in ΩMEGA’s Proof Search Programming Language Serge Autexier Dominik Dietrich Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:10:40 Logic Proof theory Formal systems Logical truth Syntax Proof assistants Mathematical proof Logic programming Sequent KeY Rule of inference Inference
149	Analysing programming languages using dependency networks Evelina Gabasova Add to Reading List Source URL: s3-eu-west-1.amazonaws.com Language: English - Date: 2015-03-30 16:05:47 Networks Dependency grammar Natural language parsing Flow network F Sharp Network theory
150	On Chairing SIGPLAN June 24, 2015 It was an honor to be your chair for the last three years. Programming language research is a fascinating and lively area of intellectual investigation. New applications extend the bound Add to Reading List Source URL: janvitek.org Language: English - Date: 2015-12-20 10:11:42 Computer science Computing Software engineering Association for Computing Machinery Programming Language Design and Implementation International Conference on Functional Programming Symposium on Principles of Programming Languages SIGPLAN Federated Computing Research Conference Programming language theory SPLASH Actor model

UPDATE